VDict mobile



rational number not found. Suggestions:

irrational number
quotient
rational
irrational number
set
real number
ALTRAN
Axiom of Choice
RATional Fortran
integer
decidability